High Assurance System for the Tokyo Metropolitan Area Railway Network
نویسنده
چکیده
L Introduction Large-scale public systems in today’s information control field require. that seveml conditions should be satisfied. Fmt, a phased-in construction of the system must be possible so that the system can be constructed over a long period of time. Second the system must be flexible and be adapted to meet the changes of social needs. All such systems are assumed to constantly grow, expand and change. We must modify the system in order to grow it; however, its reliability may be reduced by every modiftcation. In the case of a conventional system where it is assumed that there will be no growth, reliability is assured if the system is reliable when introduced. On the other hand, a growing system has the major problem of stable operation without reduction of reliability even as it is routinely mod&d. A system that can grow and operate stably with high reliability is called a high assuraue system; the technology it uses is called asSuratl~ technology. 2. High-Assurance System Technology Autonomous Decentralimd System (ADS) architecture has been used mainly to realize high assumce computer systems in control systems field. Information Technology has developed remarkably in recent years, and the systems have many high functions. For example, a control system supplies not only conventional control function, but also various information se-vies and other heterogeneous functions. For such gmwing large-scale system in which heterogeneous functions co-exist, the mechanism to protect mutual violation from each other should be mpired. And the mechanism to minimize the effects to the existing functions should be necessary. Furthermore the mechanism to protect online system from test
منابع مشابه
Maximum Flow-covering Location and Service Start Time Problem and Its Application to Tokyo Metropolitan Railway Network
This paper proposes the Maximum Flow-Covering Location and service Start Time Problem (MFCLSTP). The problem seeks to determine locations and service start time of p facilities which provide a service for a given duration, so as to maximally cover flows. Each flow is specified by a pair of origindestination (OD) nodes and the departure time of the origin node. We assume that a given commuter fl...
متن کاملAnalyzing the Effects of the Rolling Blackouts on Railway Service in the Tokyo Metropolitan Area after the 2011 Great East Japan Earthquake
1Member of JSCE, Associate Professor, Department of Civil Engineering, Tokyo Institute of Technology (Ookayama 2-12-1-M1-11, Meguro-ku, 152-8552 Tokyo, Japan) E-mail: [email protected] 2Student Member of JSCE, Department of Civil Engineering, Tokyo Institute of Technology (Ookayama 2-12-1-M1-11, Meguro-ku, 152-8552 Tokyo, Japan) E-mail: [email protected] 3Member of JSCE, A...
متن کاملThe High-Speed Railway Network in Yangtze River Delta: An Analysis of the Accessibility Impact
Historically, changes in transport infrastructures have produced a progressive contraction of space, in the sense that travel times have been shortened and transport costs have been reduced. Improvement of transportation networks reduces interaction costs, increases the overall competitiveness of the system and allows for more specialization such that economies of scale and specialization benef...
متن کاملLocating Flow Capturing Facilities on A Railway Network with Two Levels of Coverage
This paper presents a flow capturing location problem which focuses on railway passenger flows. The flow capturing location problem (FCLP), originally proposed by Hodgson (1990), aims to locate a given number of facilities on a network to maximize the total flow that can obtain service at facilities along their pre-planned routes. For railway users, facilities located at the origin station and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000